Applications of Real First-Order Constraint Solving Bibliography
نویسندگان
چکیده
First-order constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications for real first-order constraint solving. The list is certainly not complete, but grows as the author encounters new items. Contributions are very welcome!
منابع مشابه
Commented Bibliography on Dynamic Constraint Solving
This document is a commented bibliography on Dynamic Constraint Solving and some related topics. It is associated with a tutorial about the same topic that has been given by the authors at CP 2003 (Ninth International Conference on Principles and Practice of Constraint Programming), in Cork, Ireland. These authors are the only responsible for the commentaries that are associated with each refer...
متن کاملThe Sine-Cosine Wavelet and Its Application in the Optimal Control of Nonlinear Systems with Constraint
In this paper, an optimal control of quadratic performance index with nonlinear constrained is presented. The sine-cosine wavelet operational matrix of integration and product matrix are introduced and applied to reduce nonlinear differential equations to the nonlinear algebraic equations. Then, the Newton-Raphson method is used for solving these sets of algebraic equations. To present ability ...
متن کاملApplications of Quantified Constraint Solving over the Reals - Bibliography
Quantified constraints over the reals appear in numerous contexts. Usually existential quantification occurs when some parameter can be chosen by the user of a system, and univeral quantification when the exact value of a parameter is either unknown, or when it occurs in infinitely many, similar versions. The following is a list of application areas and publications that contain applications fo...
متن کاملSpeeding up operations on feature terms using constraint programming and variable symmetry
Feature terms are a generalization of first-order terms which have recently received increased attention for their usefulness in structured machine learning, natural language processing and other artificial intelligence applications. One of the main obstacles for their wide usage is that, when set-valued features are allowed, their basic operations (subsumption, unification, and antiunification...
متن کاملSpeeding up operations on feature terms using constraint programming and variable symmetry
Feature terms are a generalization of first-order terms which have recently received increased attention for their usefulness in structured machine learning, natural language processing and other artificial intelligence applications. One of the main obstacles for their wide usage is that, when set-valued features are allowed, their basic operations (subsumption, unification, and antiunification...
متن کامل